Boris Trakhtenbrot

Boris (Boaz) Avraamovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт; born February 19, 1921, in Brichevo (Romanian: Briceni, Donduşeni District), northern Bessarabia)[1][2] or Boaz (Boris) Trakhtenbrot (Hebrew: בועז טרכטנברוט‎) is an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation and cybernetics. He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s.[3] Currently he is a professor in the faculty of Exact sciences of the Tel-Aviv University.

In 1964 Trakhtenbrot stated and proved a fundamental result in Theoretical Computer Science called the Gap theorem.[4]

See also

Notes

  1. ^ "Russian Jewish Encyclopedia > Surnames starting with the letter T". http://jewishgen.org/belarus/rje_t.htm. 
  2. ^ "Academician Andrei Ershov's archive > Documents > Boris A. Trakhtenbrot". http://www.ershov.ras.ru/archive/eaman.asp?pplid=1758&?lang=2. 
  3. ^ "History of Computing in Russia > Authors > Boris Avraamovich Trahtenbrot" (in Russian). http://cshistory.nsu.ru/obj1181/INTERFACE.htm. 
  4. ^ Boris Trakhtenbrot (1964). "Turing computations with logarithmic delay" (in Russian). Algebra and Logic 3 (4): 33–48. 

External links

EATCS Award laureates

Karp (2000) · Böhm (2001) · Nivat (2002) · Rozenberg (2003) · Salomaa (2004) · Milner (2005) · Paterson (2006) · Scott (2007) · Valiant (2008) · Huet (2009) · Mehlhorn (2010) · Trakhtenbrot (2011)